extern int libstatic(void);
